/*
 * \brief  Core-specific instance of the PD session interface
 * \author Christian Helmuth
 * \date   2006-07-17
 */

/*
 * Copyright (C) 2006-2009 Christian Helmuth
 * Genode Labs, Feske & Helmuth Systementwicklung GbR
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _CORE__INCLUDE__PD_SESSION_COMPONENT_H_
#define _CORE__INCLUDE__PD_SESSION_COMPONENT_H_

/* Genode */
#include <pd_session/server.h>

/* Core */
#include <platform.h>

namespace Genode {

	class Pd_session_component : public Pd_session_server
	{
		private:

			Platform_pd        _pd;
			Server_entrypoint *_thread_ep;

		public:

			Pd_session_component(Server_entrypoint *thread_ep, const char *args)
			: _thread_ep(thread_ep) { }


			/**************************/
			/** Pd session interface **/
			/**************************/

			int bind_thread(Thread_capability);
	};
}

#endif /* _CORE__INCLUDE__PD_SESSION_COMPONENT_H_ */
